package sketch.specs.symbc;

import gov.nasa.jpf.symbc.Debug;

public class MyClassIntFloat {
	public void myMethod(int x, float y) {
		if(x > 9) {
			if(y < 0.99) {
				System.out.println();
			} else {
				System.out.println();
			}
		} else {
			if(y > 1.01) {
				System.out.println();
			} else {
				System.out.println();
			}
		}
	}
	
	// The test driver
	public static void main(String[] args) {
		MyClassIntFloat mc = new MyClassIntFloat();
		mc.myMethod(1, 0.0f);
		Debug.printPC("\nMyClass1.myMethod Path Condition: ");
	}
}
